Towards Dynamic Updates in Service Composition
نویسندگان
چکیده
منابع مشابه
Towards Dynamic Updates in Service Composition
We survey our results about verification of adaptable processes. We present adaptable processes as a way of overcoming the limitations that process calculi have for describing patterns of dynamic process evolution. Such patterns rely on direct ways of controlling the behavior and location of running processes, and so they are at the heart of the adaptation capabilities present in many modern co...
متن کاملTowards Dynamic Updates In AUTOSAR
Vehicles are nowadays increasingly software-intensive.Current practice shows that the whole software system is tested, validated and then uploaded in ECUs in a monolithic fashion, before a vehicle is put in operation. Yet, adding specific features or updates without restarting the full validation and upload procedure could yield to significant gains. Unfortunately, the AUTOSAR (AUTomotive Open ...
متن کاملDynamic Adaptive Service Architecture - Towards Coordinated Service Composition
With software services becoming a strategic capability for the software sector, software architecture needs to address integration problems to help services to collaborate and coordinate their activities. The increasing need to address dynamic and automated changes can be answered by a service coordination architecture with event-based collaboration that enables dynamic and adaptive architectur...
متن کاملTowards Realizing Dynamic QoS-aware Web Service Composition
In this paper, we identify two major issues related to Web service composition: the lack of formal specifications for services and service compositions and the inability of current service composition approaches to support dynamicity and QoS-awareness in an effective and scalable way. We analyze the underlying research challenges for each of these issues and propose a tentative research plan to...
متن کاملDynamic Service Composition
In this paper we focus on a composition model of services, which are composed from pre-programmed components represented as Java classes. The main part of the paper is devoted to the examples of services synthesized automatically on the basis of their logical specifications. We use a simple logic and a specification language that enable us to reason about and deploy components automatically. Th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2015
ISSN: 2075-2180
DOI: 10.4204/eptcs.201.1